general lower derivate

一般下导数